# $Id: Makefile.in 1752 2005-12-07 08:25:01Z jerry $

srcdir = @srcdir@
VPATH = @srcdir@

all:   boa.html boa.dvi boa.info boa.txt

boa.info:	boa.texi
	makeinfo --number-sections @ALLSOURCES@

boa.dvi:	boa.texi
	texi2dvi --clean @ALLSOURCES@

boa.pdf:	boa.texi
	texi2dvi --pdf --clean @ALLSOURCES@

boa.ps:	boa.dvi
	dvips -o $@ @ALLSOURCES@

boa_toc.html:	boa.texi
	texi2html -split_chapter -menu @ALLSOURCES@

boa.html:	boa.texi
	makeinfo --html --number-sections --no-split -o - @ALLSOURCES@ | \
        sed -e 's/Node:.*//' | sed -e 's/Next:.*//' | \
        sed -e 's/Previous:.*//' | sed -e 's/Up:.*//' > $@

boa.txt:	boa.texi
	makeinfo --no-headers --no-split -o $@ @ALLSOURCES@


clean:
	rm -f boa.{html,txt,dvi,ps,pdf,info} boa_*.html
	rm -f boa.{cp,fn,fns,ky,log,pg,toc,tp,vr,vrs,aux} *~

distclean:	mrclean

mrclean:	clean
	rm -f Makefile
